"Corina S. Pasareanu" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Автор: Corina S. Pasareanu

Категория: Компьютеры

Размер книги: 4.58 Mb

Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009; proceedings

Автор: Corina S. Pasareanu

Размер книги: 6.14 Mb